Section: Software and Platforms

miTLS

Participants : Alfredo Pironti [correspondant] , Karthikeyan Bhargavan, Cedric Fournet [Microsoft Research] , Pierre-Yves Strub [IMDEA] , Markulf Kohlweiss [Microsoft Research] .

miTLS is a verified reference implementation of the TLS security protocol in F#, a dialect of OCaml for the .NET platform. It supports SSL version 3.0 and TLS versions 1.0-1.2 and interoperates with mainstream web browsers and servers. miTLS has been verified for functional correctness and cryptographic security using the refinement typechecker F7.

A paper describing the miTLS library was published at IEEE S&P 2013, and two updates to the software were released in 2013. The software and associated research materials are available from http://mitls.rocq.inria.fr .